Priority Systems

Priority Setting on the Path to UHC: Time for Stronger Institutions and Stronger Health Systems: Response to Recent Commentaries

The Power of Priority Channel Systems ∗ Christoph Haase Sylvain Schmitz

We introduce Priority Channel Systems, a new class of channel systems where messages carry a numeric priority and where higher-priority messages can supersede lower-priority messages preceding them in the fifo communication buffers. The decidability of safety and inevitability properties is shown via the introduction of a priority embedding, a well-quasiordering that has not previously been use...

Resolving priority inversions in composable conveyor systems

The well known problem of priority inversions that occurs in classical real-time systems also manifests in decentralized cyber-physical systems. Using a specific example of composable conveyor systems, we show how priority inversions hinder the transport of entities through the conveyor systems. We present a novel adaptation of the classical priority inheritance protocol for resolving these cyb...

The No-Destination Ship of Priority-Setting in Healthcare: A Call for More Democracy

In dealing with scarcity of resources within healthcare systems, decision-makers inevitably have to make choices about which services to fund. Setting priorities represents a challenging task that requires systematic, explicit and transparent methodologies with focus on economic efficiency. In addition, the engagement of the general public in the process of decision-making has been regarded as ...

Reservation based protocol for resolving priority inversions in composable conveyor systems

A reservation based protocol for resolving priority inversions in decentralized realtime systems that are useful in the domain of advanced manufacturing is presented. The problem of priority inversions is well-known in the real-time systems literature. When there is prioritized access to shared resources, it is natural consequence for a low-priority task to be serviced before a high-priority ta...

A review of priority assignment in real-time systems

It is over 40 years since the first seminal work on priority assignment for real-time systems using fixed priority scheduling. Since then, huge progress has been made in the field of real-time scheduling with more complex models and schedulability analysis techniques developed to better represent and analyse real systems. This tutorial style review provides an in-depth assessment of priority as...